Three Recitations on Holonomic Systems and Hypergeometric Series

نویسنده

  • Doron Zeilberger
چکیده

When we teach calculus we have lectures and recitations. These notes are meant as “recitations” or something like “Schaum outlines” for the theory. The role of the “lectures” or “textbook” is provided by Gosper’s path-breaking paper “A Decision Procedure for Indefinite summation”, Proc. Nat. Acad. Sci. USA 75 (1978), 40-42, and by the following papers by myself and my collaborators, Gert Almkvist and Herb Wilf.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Algorithmic determination of q-power series for q-holonomic functions

In [Koepf (1992)] it was shown how for a given holonomic function a representation as a formal power series of hypergeometric type can be determined algorithmically. This algorithm – that we call FPS algorithm (Formal Power Series) – combines three steps to obtain the desired representation. The authors implemented this algorithm in the computer algebra system Maple as c̀onvert/FormalPowerSeries...

متن کامل

Computer Algebra Algorithms for Orthogonal Polynomials and Special Functions

In this minicourse I would like to present computer algebra algorithms for the work with orthogonal polynomials and special functions. This includes • the computation of power series representations of hypergeometric type functions, given by “expressions”, like arcsin(x)/x , • the computation of holonomic differential equations for functions, given by expressions, • the computation of holonomic...

متن کامل

Holonomic rank of A-hypergeometric differential-difference equations

We introduceA-hypergeometric differential-difference equation HA and prove that its holonomic rank is equal to the normalized volume of A with giving a set of convergent series solutions.

متن کامل

A holonomic systems approach to special functions identities *

We observe that many special functions are solutions of so-called holonomic systems. Bernstein’s deep theory of holonomic systems is then invoked to show that any identity involving sums and integrals of products of these special functions can be verified in a finite number of steps. This is partially substantiated by an algorithm that proves terminating hypergeometric series identities, and th...

متن کامل

Holonomic Tools for Basic Hypergeometric Functions

With the exception of q-hypergeometric summation, the use of computer algebra packages implementing Zeilberger’s “holonomic systems approach” in a broader mathematical sense is less common in the field of q-series and basic hypergeometric functions. A major objective of this article is to popularize the usage of such tools also in these domains. Concrete case studies showing software in action ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • J. Symb. Comput.

دوره 20  شماره 

صفحات  -

تاریخ انتشار 1995